<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <title>GitHub Issue 1384</title>
    <link rel="stylesheet" id="theme-link" href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/css/bootstrap.min.css">
    <link rel="stylesheet" id="iconlib-link" href="https://use.fontawesome.com/releases/v5.6.1/css/all.css">
    <script src="../../../dist/jsoneditor.js"></script>
  </head>
  <body>
    <div class="container">
      <a href="https://github.com/json-editor/json-editor/issues/1384">GitHub Issue 1384</a>
      <div id='editor_holder'></div>
    </div>

    <script>
      var defaultSchema = {
        "$ref": "./issue-gh-1384.json"
      }

      var editor = new JSONEditor(document.getElementById('editor_holder'),{
        iconlib: 'fontawesome5',
        object_layout: 'normal',
        schema: defaultSchema,
        show_errors: 'always',
        theme: 'bootstrap4',
        ajax: true
      });
    </script>
  </body>
</html>
